* make-dist: There are no more src/m/*.inp files.
authorGlenn Morris <rgm@gnu.org>
Mon, 3 May 2010 01:53:58 +0000 (18:53 -0700)
committerGlenn Morris <rgm@gnu.org>
Mon, 3 May 2010 01:53:58 +0000 (18:53 -0700)
commit79f98e85bfc5de27d0bd41903c8d5d7c21ad5714
tree4cf402f55673d018b07f0bae39723c7135be19b3
parent72af1632a89cd452e29671e52fb55c2d4bd7b18b
* make-dist: There are no more src/m/*.inp files.
ChangeLog
make-dist